QY
id_total, 49.212565616
id_io_time, 0.0
id_global_time, 0.0
id_inclusion_check, 6.200444059
id_inclusion_check_mod_p, 0.6398444010000001
id_groebner_time, 33.956994502
id_beautifulization, 0.23166432
id_normalforms_time, 0.0
id_gbfan_time, 0.0
id_ranking, 7.310506e+06
